example dfa minimize